batterseapower's Repositories

Cross-platform support for retrieving file access times in Haskell

⭐ 4 🌐 Public

TextMate plugin (Cocoa) shell for running 'ack'

⭐ 2 🌐 Public

Plugins for the Anki Spaced Repetition System

⭐ 4 🌐 Public

Simple Haskell ANSI terminal support, with Windows compatibility

⭐ 16 🌐 Public

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

⭐ 31 🌐 Public

A fast Haskell library for parsing ByteStrings

⭐ 0 🌐 Public

batterseapower.github.com

⭐ 3 🌐 Public

Efficient, pure binary serialisation using ByteStrings in Haskell.

⭐ 2 🌐 Public

bitbucket-branch-source-plugin

Bitbucket Branch Source Plugin

⭐ 0 🌐 Public

Python wrapper for Bitfinex API

⭐ 0 🌐 Public

Whiteboard logging webapplication written using Merb

⭐ 5 🌐 Public

Just some experiments with data structures for external memory

⭐ 1 🌐 Public

A simple and high-performance Java B-tree: drop-in replacement for java.util.TreeMap

⭐ 29 🌐 Public

Scripts for fixing up Asherah's CFD results

⭐ 1 🌐 Public

Character set detection for Haskell

⭐ 14 🌐 Public

CherryPy is a pythonic, object-oriented HTTP framework.

⭐ 1 🌐 Public

The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"

⭐ 23 🌐 Public

Data about Chinese, Japanese and Korean characters and languages for Haskell

⭐ 6 🌐 Public

A Git clone of the cjklib repository at http://cjklib.googlecode.com/svn/trunk/

⭐ 2 🌐 Public

Cambridge Computer Lab website source

⭐ 1 🌐 Public

commons-compress

Mirror of Apache Commons Compress

⭐ 0 🌐 Public

concurrency-test

Exhaustive and random testing for finding race conditions and deadlocks in Haskell code

⭐ 7 🌐 Public

⭐ 2 🌐 Public

context-semantics

Simple Haskell model of context semantics

⭐ 5 🌐 Public

Call-by-need evaluator in trace style

⭐ 4 🌐 Public

An implementation of the AIM language from An Idealized MetaML (Moggi et al.)

⭐ 3 🌐 Public

Reducer for the core of a ML-like language

⭐ 2 🌐 Public

CPRG gitit wiki configuration, templates and plugins

⭐ 1 🌐 Public

A core language that is both simpler and more expressive than GHC Core

⭐ 6 🌐 Public

Playing around with a simple Core language with explicit continuations

⭐ 2 🌐 Public

crypto-facilities

Python client for Crypto Facilities REST API (v3)

⭐ 0 🌐 Public

The Haskell Text.CSV library

⭐ 0 🌐 Public

demand-analysis

A demand analyser, based on "Stricterness More Relevant"

⭐ 2 🌐 Public

An implementation of the dual calculus in Haskell

⭐ 3 🌐 Public

Edit distance library for Haskell

⭐ 27 🌐 Public

Shared Emacs configuration

⭐ 2 🌐 Public

Simple NIO based file synchronisation daemon, just to show it can be done

⭐ 0 🌐 Public

Scrap Your Boilerplate instances for GHC's data types

⭐ 2 🌐 Public

A wiki using HAppS, pandoc, and git

⭐ 1 🌐 Public

My plugins for the Haskell wiki platform Gitit

⭐ 5 🌐 Public

A wrapper around the standard Data.Graph with a less awkward interface

⭐ 5 🌐 Public

Halifax statement conversion into QIF and Ledger formats

⭐ 4 🌐 Public

A variety of hashtables for Haskell

⭐ 3 🌐 Public

haskell-call-graph

Call graph tool for use with the Cambridge Haskell Supercompiler

⭐ 4 🌐 Public

形: exercises in mind-bending Haskell

⭐ 14 🌐 Public

haskell.tmbundle

TextMate support for Haskell

⭐ 3 🌐 Public

A JNI code generator based on the JNI generator used by the eclipse SWT project

⭐ 0 🌐 Public

Python package to read and write a wide range of Python types to/from HDF5 formatted files. Can read/write data to the HDF5 based Matlab v7.3 MAT files.

⭐ 0 🌐 Public

The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger.

⭐ 0 🌐 Public

Old Haskell MinCaml implementation from my undergraduate days

⭐ 2 🌐 Public

A very simple Haskell library with cross-platform support for getting the hostname

⭐ 3 🌐 Public

A library for SWF reading and writing, aiming for byte-for-byte roundtripping support

⭐ 7 🌐 Public

Haskell HTTP package

⭐ 2 🌐 Public

Python sync/async framework for Interactive Brokers API

⭐ 1 🌐 Public

japi-compliance-checker

A tool for checking backward API/ABI compatibility of a Java library

⭐ 0 🌐 Public

Java 9 Parser and Abstract Syntax Tree for Java –

⭐ 0 🌐 Public

javasymbolsolver

A Symbol Solver for Java built on top of JavaParser

⭐ 0 🌐 Public

A Java implementation of bsdiff (http://www.daemonology.net/bsdiff/)

⭐ 1 🌐 Public

jna-watch-service

Similar to java.nio.file.WatchService but uses JNA to call inotify directly

⭐ 2 🌐 Public

knoema-python-driver

⭐ 0 🌐 Public

Fine-grained lattice primitives for Haskell

⭐ 18 🌐 Public

libcharsetdetect

A dependency-free C interface to the Mozilla Universal Character Set Detector

⭐ 67 🌐 Public

A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.

⭐ 0 🌐 Public

Haskell bindings to the LLVM compiler infrastructure project.

⭐ 2 🌐 Public

A lightweight LLVM python binding for writing JIT compilers

⭐ 0 🌐 Public

Lightning Memory-Mapped Database (liblmdb) as a jar distribution available in Maven Central.

⭐ 1 🌐 Public

lmdb-bloomberg-loader

A playground where I try to implement a simple database directly on top of the LMDB key-value store

⭐ 0 🌐 Public

A Java Native Interface to the Lightning Memory-Mapped Database (liblmdb)

⭐ 0 🌐 Public

machine-learning

Machine learning library for Haskell

⭐ 14 🌐 Public

MapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.

⭐ 1 🌐 Public

Max's DataBase Interface: a simple but powerful JDBC wrapper inspired by JDBI

⭐ 2 🌐 Public

Custom Minecraft Alpha server software written in C++ for Windows and Linux

⭐ 1 🌐 Public

Small implementation of a Haskell-like language for experimentation purposes

⭐ 3 🌐 Public

NumPy aware dynamic Python compiler using LLVM

⭐ 0 🌐 Public

The fundamental package for scientific computing with Python.

⭐ 0 🌐 Public

An open source reimplementation of Neil Mitchell's Shake build system

⭐ 18 🌐 Public

Implementation of Outside-In(Type equalities + type families + type classes)

⭐ 2 🌐 Public

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

⭐ 0 🌐 Public

Universal markup converter

⭐ 1 🌐 Public

types for representing structured documents

⭐ 2 🌐 Public

Haskell combinators for executing IO actions in parallel on a thread pool

⭐ 47 🌐 Public

A library for reading text files over multiple cores.

⭐ 0 🌐 Public

Program Expression Graphs for Equality Saturation

⭐ 12 🌐 Public

Configuration for personal gitit wiki

⭐ 1 🌐 Public

A plugin for the Anki Spaced Repetition System (http://ichi2.net/anki/)

⭐ 39 🌐 Public

Very simple prefix-search web application for a more usable Firefox search bar

⭐ 2 🌐 Public

⭐ 2 🌐 Public

productive-compiler

A compiler that is not strict in the term it is compiling. Uses JIT compilation via LLVM

⭐ 6 🌐 Public

proton.contracts

⭐ 0 🌐 Public

Py4J enables Python programs to dynamically access arbitrary Java objects

⭐ 0 🌐 Public

Pyflame: A Ptracing Profiler For Python

⭐ 0 🌐 Public

Python bindings to libpostal for fast international address parsing/normalization

⭐ 0 🌐 Public

A pure Python Cross Platform ODBC interface module

⭐ 0 🌐 Public

Windows GUI Automation with Python

⭐ 0 🌐 Public

requests-kerberos

An authentication handler for using Kerberos with Python Requests.

⭐ 0 🌐 Public

Scipy main repository

⭐ 0 🌐 Public

Miscellaneous scripts shared between my computers

⭐ 4 🌐 Public

Utils for streaming large files (S3, HDFS, gzip, bz2...)

⭐ 0 🌐 Public

SQLite JDBC Driver

⭐ 0 🌐 Public

Python API client for the Atlassian Stash REST API

⭐ 0 🌐 Public